Safe Software - PDFSEARCH.IO - Document Search Engine

Safe Software
Results: 789

#	Item
211	Safe and Secure Software An Invitation to Ada Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:50:30 Object-oriented programming Ada Objective-C Object Record Constructor Class C Protocol Software engineering Computing Computer programming
212	Safe and Secure Software An Invitation to Ada Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:48:12 Software bugs Data types Primitive types Procedural programming languages Pointer Buffer overflow C Subroutine Stack Computing Software engineering Computer programming
213	Safe and Secure Software An Invitation to Ada Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:40:57 Procedural programming languages Ada programming language SPARK Ada Exception handling Design by contract C Stack Subroutine Software engineering Computing Computer programming
214	Minnesota MetroGIS Geospatial Data Collaborative Minneapolis–St. Paul Metropolitan Area (2002—Enterprise System) System Summary Add to Reading List Source URL: www.metrogis.org Language: English - Date: 2014-07-24 09:13:31 Science Technology Esri MetroGIS ArcIMS Web mapping Spatial data infrastructure Intergraph Safe Software GIS software Geographic information systems Cartography
215	Safe Automotive soFtware architEcture (SAFE) Co-summit 2015, 10-11 March 2015, Berlin - Germany Dr. Stefan Voget Agenda Add to Reading List Source URL: itea3.org Language: English Risk Systems engineering Functional Safety IEC 61508 System safety Automobile safety Airbag Safety Security Prevention
216	keep kiosks safe online with remote monitoring TM nfinite possibilities. Add to Reading List Source URL: mzero.com Language: English - Date: 2015-03-24 14:13:51 Interactive kiosk Software Failure System administration Kiosk Downtime Kiosk software System software Kiosks Information technology management
217	MULTIPLAYER ONLINE GAMES INSECURITY (NEVER FEEL SAFE WHILE PLAYING ONLINE ) Add to Reading List Source URL: revuln.com Language: English - Date: 2013-04-04 19:34:02 Information Cyberwarfare Transmission Control Protocol Denial-of-service attack Ping Cheating in online games Lag Cheating in video games Game server Computing Computer network security Software
218	Embedded devices, an AntiVirus-free safe hideout for Malware IS YOUR GAMING CONSOLE SAFE? DongJoo Ha KiChan Ahn Add to Reading List Source URL: powerofcommunity.net Language: English Video game console Antivirus software Smartphones Malware
219	The Design and Implementation of a Safe, Lightweight Haskell Compiler Timothy Jan Chevalier Portland State University⋆ Dept. of Computer Science P.O. Box 751 Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 19:52:39 Type theory Data types Functional languages Functional programming Glasgow Haskell Compiler Type system Haskell Type safety C Software engineering Computing Computer programming
220	TIM CHEVALIER Objective A full-time position at the intersection of software development and computer science research. Particularly interested in applying advanced, type-safe programming languages to real-world applicat Add to Reading List Source URL: catamorphism.org Language: English - Date: 2013-10-04 23:39:47 Cross-platform software Scripting languages Haskell Literate programming OpenLaszlo Tcl GrammaTech Deforestation Java Computing Software engineering Computing platforms

UPDATE